Charlton, Nathaniel: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A refined parametric model for short term load forecasting

Charlton, Nathaniel, Singleton, Colin

Journal:

International Journal of Forecasting

Year:

2014

Language:

english

File:

PDF, 453 KB

english, 2014

2

Separating temporal and topological effects in walk-based network centrality

Colman, Ewan R., Charlton, Nathaniel

Journal:

Physical Review E

Year:

2016

Language:

english

File:

PDF, 1.08 MB

english, 2016

3

Falsifying Safety Properties Through Games on Over-approximating Models

Nathaniel Charlton, Michael Huth

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 823 KB

english, 2008

4

Polynomial-Time Under-Approximation of Winning Regions in Parity Games

Adam Antonik, Nathaniel Charlton, Michael Huth

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 433 KB

english, 2009

5

Program verification with interacting analysis plugins

Nathaniel Charlton

Journal:

Formal Aspects of Computing

Year:

2007

Language:

english

File:

PDF, 1.36 MB

english, 2007

6

Verification of Java Programs with Interacting Analysis Plugins

Nathaniel Charlton

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 331 KB

english, 2006

7

Specification patterns for reasoning about recursion through the store

Charlton, Nathaniel, Reus, Bernhard

Journal:

Information and Computation

Year:

2013

Language:

english

File:

PDF, 780 KB

english, 2013

8

[IEEE 2013 IEEE International Workshop on Intelligent Energy Systems (IWIES) - Vienna, Austria (2013.11.14-2013.11.14)] 2013 IEEE International Workshop on Inteligent Energy Systems (IWIES) - Graph-based algorithms for comparison and prediction of household-level energy use profiles

Charlton, Nathaniel, Greetham, Danica Vukadinovic, Singleton, Colin

Year:

2013

Language:

english

File:

PDF, 684 KB

english, 2013

9

[IEEE 2011 IEEE International Conference on Data Engineering Workshops (ICDEW) - Hannover, Germany (2011.04.11-2011.04.16)] 2011 IEEE 27th International Conference on Data Engineering Workshops - Formal reasoning about runtime code update

Charlton, Nathaniel, Horsfall, Ben, Reus, Bernhard

Year:

2011

Language:

english

File:

PDF, 254 KB

english, 2011

10

Symbolic Execution Proofs for Higher Order Store Programs

Reus, Bernhard, Charlton, Nathaniel, Horsfall, Ben

Journal:

Journal of Automated Reasoning

Year:

2015

Language:

english

File:

PDF, 6.24 MB

english, 2015

11

[IEEE 2014 Tenth International Conference on Signal-Image Technology & Internet-Based Systems (SITIS) - Marrakech, Morocco (2014.11.23-2014.11.27)] 2014 Tenth International Conference on Signal-Image Technology and Internet-Based Systems - Weighted Alpha-Rate Dominating Sets in Social Networks

Greetham, Danica Vukadinovic, Poghosyan, Anush, Charlton, Nathaniel

Year:

2014

Language:

english

File:

PDF, 253 KB

english, 2014

12

[ACM Press the 15th international conference - Palo Alto, CA, USA (2011.02.13-2011.02.16)] Proceedings of the 15th international conference on Intelligent user interfaces - IUI '11 - Macademia

Sen, Shilad, Nunes, Ernesto, Sparling, E. Isaac, Charlton, Henry, Kerwin, Ryan, Lim, Jeremy, Maus, Brandon, Miller, Nathaniel, Naminski, Megan R., Schneeman, Alex, Tran, Anthony

Year:

2011

Language:

english

File:

PDF, 863 KB

english, 2011

13

[ACM Press the 14th Workshop - Beijing, China (2012.06.12-2012.06.12)] Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs - FTfJP '12 - Verifying the reflective visitor pattern

Horsfall, Ben, Charlton, Nathaniel, Reus, Bernhard

Year:

2012

Language:

english

File:

PDF, 804 KB

english, 2012

14

In the mood: the dynamics of collective sentiments on Twitter

Charlton, Nathaniel, Singleton, Colin, Greetham, Danica Vukadinović

Journal:

Royal Society Open Science

Year:

2016

Language:

english

File:

PDF, 2.00 MB

english, 2016

15

[ACM Press the 2017 International Conference - London, United Kingdom (2017.07.02-2017.07.05)] Proceedings of the 2017 International Conference on Digital Health - DH '17 - Using Data Mining to Refine Digital Behaviour Change Interventions

Charlton, Nathaniel, Kingston, John, Petridis, Miltos, Fletcher, Ben C.

Year:

2017

Language:

english

File:

PDF, 1.23 MB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски